}
public boolean isEqual(Ord<K> ok, K k) {
return top().map(p -> ok.eq(p._1(), k)).orSome(false);
}
/**
}
public boolean isEqual(Ord<K> ok, K k) {
return top().option(false, p -> ok.eq(p._1(), k));
}
/**